signature X86ASMIZERA_STRUCTS =
sig
  structure X86Asm : X86ASM  
  structure Machine : MACHINE
  sharing X86Asm.Atoms = Machine.Atoms
  sharing X86Asm.Types = Machine.Types
end

signature X86ASMIZERA =
sig
  include X86ASMIZERA_STRUCTS
  
  val trans : Machine.Program.t -> X86Asm.Program.t
end
